Каков Интуитивизм?
Интуитивизм - математическая концепция, которая держится, та математика - просто формальное создание ума. Это было инициировано в начале двадцатого века голландским математиком Л.Е.ДЖ. Brouwer. Интуитивизм устанавливает ту математику, внутренний, довольно-пустой процесс, посредством чего последовательные математические заявления могут только быть оплодотворены и доказаны как умственные конструкции. В этом смысле интуитивизм противоречит многим основным принципам классической математики, которая держится, та математика - объективный анализ внешнего существования.
Интуитивизм отличается от классических концепций математики, таких как формализм и Учение Платона, в котором это не принимает существование внешней математически когерентной действительности. Дополнительно, это не предполагает, что математика - символический язык, который должен следовать за определенными неподвижными правилами. Таким образом, так как символические числа, обычно используемые в математике, считают чистым посредничеством, они используются только, чтобы передать математические идеи от ума одного математика другому, и сделать не в себе предлагают дальнейшие математические непроницаемости. Этими только двумя вещами, принятыми интуитивизмом, является понимание времени и существование ума создания.
Интуитивизм и классическая математика, каждый устанавливает различные объяснения того, что это означает называть математическое заявление верным. В интуитивизме правда заявления строго не определена его provability один, а скорее способностью математика постигнуть интуитивно заявление и доказать это дальнейшим разъяснением других рационально последовательных умственных конструкций.
У интуитивизма есть серьезные значения, которые противоречат некоторым ключевым понятиям в классической математике. Возможно, самым известным из них является отклонение закона исключенной середины. В самом основном смысле закон исключенной середины говорит, что или A І или не A І могут быть верными, но оба не могут быть верными в то же самое время. Intuitionists считают, что возможно доказать и A І и не A І, пока умственные конструкции могут быть построены, которые последовательно доказывают каждого. В этом смысле непроницаемость в рассуждении intuitionist не касается доказательства, существует ли A І, но вместо этого определен тем, могут ли и A І и не A І когерентно и последовательно создаваться как математические заявления в уме.
Хотя интуитивизм никогда не вытеснял классическую математику, он все еще получает большое внимание сегодня. Исследование интуитивизма было связано с широкой степенью продвижения в исследовании математики, поскольку это заменяет понятия об абстрактной правде с понятиями о выравнивании математических конструкций. Этому также дали некоторую обработку в других ответвлениях концепции для ее беспокойства с теоретическим и пан-субъективным умом создания, который был по сравнению с Husserl с феноменологическая концепция необыкновенный предмет. І